Skip to content

fix: retrieve root_repository_path from git dir#20

Merged
adriencaccia merged 1 commit intomainfrom
fix/root-repository
Apr 29, 2024
Merged

fix: retrieve root_repository_path from git dir#20
adriencaccia merged 1 commit intomainfrom
fix/root-repository

Conversation

@adriencaccia
Copy link
Copy Markdown
Member

@adriencaccia adriencaccia commented Apr 29, 2024

Ensure that root_repository_path is inferred from the current working directory first, instead of hardcoding it depending on the provider.
This will ensure that the action picks up the git repository, not matter where the repository is actually cloned on the worker.

Comment thread src/helpers/find_repository_root.rs
Comment thread src/helpers/find_repository_root.rs Outdated
Comment thread src/helpers/find_repository_root.rs
@adriencaccia adriencaccia merged commit f68cbd1 into main Apr 29, 2024
@adriencaccia adriencaccia deleted the fix/root-repository branch April 29, 2024 16:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants